CFLAGS += -fshort-wchar

obj-y +=  boot.init.o runtime.o
obj-$(CONFIG_ACPI) +=  efi-dom0.init.o
